1. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Author: Skordev, Dimitur Genchev
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Combinatory logic
Classification :
QA
9
.
6
.
S56
